InjMonHom($g$;$h$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$f$:MonHom($g$,$h$)$\mid$ Inj($\mid$$g$$\mid$;$\mid$$h$$\mid$;$f$)\}